41. Intensional and higher-order modal logic : with applications to Montague semantics

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Modality )Logic(,، Logic, Symbolic and mathematical

رده :
BC
199
.
M6
.
G35
1975

42. Intensional mathematics

المؤلف:

المکتبة: (طهران)

موضوع: Addresses, essays, lectures ، Modality )Logic(,Addresses, essays, lectures ، Constructive mathematics,Addresses, essays, lectures ، Intuitionistic mathematics

رده :
QA
9
.
46
.
I57
1985

43. Intensional mathematics

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Modality (Logic),Constructive mathematics.,Intuitionistic mathematics.

رده :
QA
,
9
.
46
,.
I57
,
1985

44. Intensional mathematics

المؤلف:

المکتبة: (طهران)

موضوع: MODALITY )LOGIC(-ADDRESSES,ESSAYS, , CONSTRUCTIVE MATHEMATICS-ADDRESSES, , INTUITIONISTIC MATHEMATICS-

رده :
QA
9
.
46
.
I57

45. Intensional mathematics

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Modality (Logic) ;

46. Intensional mathematics /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Constructive mathematics,Intuitionistic mathematics,Modality (Logic)

رده :
QA9
.
46
.
I57
1985

47. Intentional mathematics

المؤلف:

المکتبة: (طهران)

موضوع: ، Modality )Logic(,، Constructive mathematics,، Intuitionistic mathematics

رده :
QA
9
.
46
.
I57
1985

48. Interpolation and definability

المؤلف:

المکتبة: (طهران)

موضوع: ، Interpolation,، Modality )Logic(,، Definability theory )Mathematical logic(

رده :
QA
281
.
G28I5

49. Introduction to deontic logic and the theory of normative systems /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Deontic logic,Modality (Logic),Logique déontique,Logique symbolique et mathématique

رده :
BC145
.
A67
1987

50. Introductory modal logic

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Modality )Logic(

رده :
BC
199
.
M6
K66
1986

51. Investigations in modal and tense logics with applications to problems in philosophy and linguistics

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Modality )Logic(,، Semantics )Philosophy(,، Grammar, Comparative and general

رده :
BC
199
.
M6
.
G3

52. Investigations in modal and tense logics with applications to problems in philosophy and linguistics

المؤلف:

المکتبة: (طهران)

موضوع: ، Modality )Logic(,، Semantics )Philosophy(,، Grammar, Comparative and general

رده :
BC
199
.
M6G22

53. Kant's modal metaphysics

المؤلف:

المکتبة: (طهران)

موضوع: ، Kant, Immanuel, 4271-4081,، Modality )Logic(,، Metaphysics

رده :
B
2799
.
M5S72

54. Laws, modalities, and counterfactuals

المؤلف:

المکتبة: (طهران)

موضوع: ، Counterfactuals )Logic(,، Modality )Logic(,، Law -- Philosophy

رده :
BC
199
.
C66R44

55. Logic for concurrency and synchronisation

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع: Proof theory,Modality (Logic),Parallel programming (Computer science)

رده :
QA9
.
54
.
L64
2003

56. Logic for concurrency and synchronisation]CD[

المؤلف:

المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع: ، Proof theory,، Modality )Logic(,، Parallel programming )Computer science(

رده :
CD
1743-35

57. Logic for concurrency and synchronisation

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: Proof theory,Modality (Logic),Parallel programming (Computer science),Electronic books. , local

رده :
E-BOOK

58. Logics of time and computation

المؤلف:

المکتبة: (طهران)

موضوع: ، Modality )Logic(

رده :
P
25
.
C28
No
.
7

59. #Many-dimensional modal logics

المؤلف:

المکتبة: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)

موضوع: Modality )Logic(

رده :
#
BC
،#.
M6
,
M34

60. Mathematics of modality

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Modality (Logic)

رده :
QA
,
9
.
46
,.
G66
,
1994